\Slide{Exceptions}{
\B
\item Any instruction that can throw an exception is
      preceded by an {\em exception thrower block} (ETB)
  \B
  \item Exception edges connect an ETB to
    \B
    \item An exception handler block (handled exceptions)
    \item The CFG exit block (unhandled exceptions)
    \E
  \E
  \item ETB blocks can be distinguished by calling
        the {\tt isExceptionThrower()} method
  \item An Edge's edge type can be accessed by
        calling the {\tt getType()} method,
        returns a constant defined in {\tt EdgeTypes} interface
    \B
    \item Can also call {\tt isExceptionEdge()}
    \E
\E
}
